Aller au contenu

Mesure complexe

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques et plus particulièrement en théorie de la mesure, une mesure complexe, ou mesure à valeurs complexes, est une extension de la notion de mesure signée finie[1] dans le sens où les valeurs complexes sont autorisées, ce qui n'est pas le cas d'une mesure signée finie qui est, par définition, à valeurs réelles.

Définition

[modifier | modifier le code]

Définition (mesure complexe) — Soit un espace mesurable, c'est-à-dire un couple formé d'un ensemble muni d'une tribu . Une mesure complexe sur est une fonction[2],[3]

qui vérifie les deux propriétés suivantes

  •  ;
  • (sigma additivité) pour toute suite d'ensembles disjoints dans  :
.

De manière équivalente[4], une mesure complexe est une fonction qui peut s'écrire sous la forme et sont des mesures signées finies, appelées respectivement, partie réelle et partie imaginaire de .

Pour clarifier, on utilisera le terme de « mesure réelle positive », au lieu du simple « mesure », pour les mesures au sens classique, c'est-à-dire, prenant des valeurs dans .

Propriétés

[modifier | modifier le code]

Dans toute cette section est une mesure complexe sur l'espace mesurable .

  • Par définition, pour tout , . Ainsi, contrairement aux mesures signées, une mesure complexe ne prend que des valeurs finies.
  • Pour toute suite d'ensembles disjoints dans , la somme est commutativement convergente donc est absolument convergente.
  • La variation est toujours une mesure réelle positive finie sur l'espace [2],[3].
  • La somme de deux mesures complexes est une mesure complexe. Le produit d'une mesure complexe avec un nombre complexe est aussi une mesure complexe. Autrement dit, l'ensemble des mesures complexes sur est un espace vectoriel complexe. En outre, la norme de variation totale définie par est une norme sur cet espace qui en fait un espace de Banach.
  • Les parties réelles et imaginaires de sont des mesures signées finies sur .

Intégration par rapport à une mesure complexe

[modifier | modifier le code]

Il est possible de définir l'intégrale d'une fonction réelle mesurable par rapport à une mesure complexe de la même manière que l'intégrale (au sens de Lebesgue) d'une fonction réelle par rapport à une mesure réelle positive en la définissant d'abord pour les fonctions étagées puis en passant au cas général par approximation.

Il est aussi possible de la définir de manière équivalente sans tout redéfinir mais plutôt en utilisant l'intégrale par rapport à une mesure réelle. Si sont les parties réelles et imaginaires d'une mesure complexe , alors on écrit leur décomposition de Jordan :

.

Alors pour une fonction réelle positive et mesurable on a

.

On peut ensuite étendre naturellement la notion d'intégrale à des fonctions à valeurs complexes en séparant partie réelle et partie imaginaire.

Décomposition polaire d'une mesure complexe

[modifier | modifier le code]

Toute mesure complexe sur un espace mesurable possède une décomposition polaire[3] dans le sens où il existe une fonction complexe et mesurable telle que et pour toute fonction intégrable selon la mesure de variation totale on ait

.

Une conséquence de cette décomposition polaire est que, pour toute mesure réelle positive sur et pour toute fonction complexe qui serait intégrable selon , si on pose

,

alors

.

Notes et références

[modifier | modifier le code]
  1. La mesure complexe n'étend pas, stricto sensu, la mesure signée car cette dernière peut prendre des valeurs infinies, tandis que la mesure complexe prend, par définition, des valeurs complexes finies.
  2. a et b Dario Cordero-Erausquin, « Analyse réelle, analyse harmonique et distributions ».
  3. a b et c Walter Rudin, Analyse réelle et complexe : cours et exercices, Paris, Dunod, 453 p. (ISBN 978-2-10-004004-9), p. 149
  4. Samuel Nicolay, « Mesure », sur afaw.ulg.ac.be, 2019/2020, p. 85.